Programming complexity - PDFSEARCH.IO - Document Search Engine

Programming complexity
Results: 456

#	Item
211	Analyzing Runtime and Size Complexity of Integer Programs (Abstract) Marc Brockschmidt1 , Fabian Emmes1 , Stephan Falke2 , Carsten Fuhs3 , and Jürgen Giesl1 1 2 Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:12 Complexity Lookup table Computer programming Science Computing Computational complexity theory Analysis of algorithms
212	Prospecting for programmer’s gold. IF ALEXANDER THE Add to Reading List Source URL: www.stevemcconnell.com Language: English - Date: 2007-03-02 18:15:19 Computer programming Software metrics Abstraction Data management Complexity Information hiding Goto No Silver Bullet Object-oriented programming Software engineering Programming paradigms Computing
213	Scaling Up Event and Pattern Detection to Big Data Daniel B. Neill H.J. Heinz III College Carnegie Mellon University E-mail: Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-05-20 10:24:37 NP Applied mathematics Data mining Machine learning Dynamic programming Mathematics Complexity classes Event Probability theory
214	KNOWLEDGE MANAGEMENT, ORGANIZATIONAL INTELLIGENCE AND LEARNING, AND COMPLEXITY - Vol. I Genetic Algorithms - Calabretta R. GENETIC ALGORITHMS Calabretta R. Institute of Cognitive Sciences and Technologies, National Rese Add to Reading List Source URL: www.eolss.net Language: English - Date: 2011-09-21 10:55:06 Mathematical optimization Mathematics Evolutionary algorithms Evolution Genetic algorithm Evolutionary computation Artificial life Genetic programming Artificial neural network Science Applied mathematics Cybernetics
215	Assisted Proof Document Authoring David Aspinall1 , Christoph L¨ uth2 , and Burkhart Wolff3 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2006-09-27 08:42:21 Formal methods Automated theorem proving Complexity classes Functional languages Proof assistant Isabelle Theorem prover IP Literate programming Theoretical computer science Computing Software
216	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-07-27 23:31:09 Computational complexity theory Computational science Algorithm Mathematical logic Linear programming Analysis of algorithms PP Numerical analysis Theoretical computer science Applied mathematics Mathematics
217	Structural Complexity And The Acquisition Of Recursive Locative PPs Tyler Peterson (Arizona), Ana Pérez-Leroux (Toronto), Anny Castilla-Earls (SUNY/Fredonia), Susana Béjar, Diane Massam (Toronto) Phase-based models of Add to Reading List Source URL: nels45.mit.edu Language: English - Date: 2014-10-28 01:13:42 Programming idioms Grammar Theoretical computer science Computability theory Theory of computation Recursion Semantics Syntax Preposition and postposition Linguistics Computer programming Mathematics
218	Algorithmica[removed]: 379–399 DOI[removed]s00453[removed]Speeding Up HMM Decoding and Training by Exploiting Sequence Repetitions Yury Lifshits · Shay Mozes · Oren Weimann · Add to Reading List Source URL: yury.name Language: English - Date: 2009-11-15 04:24:21 Markov models Error detection and correction Computational complexity theory Combinatorics on words Lempel–Ziv–Welch LZ77 and LZ78 Time complexity Viterbi algorithm Dynamic programming Theoretical computer science Mathematics Applied mathematics
219	Quantifying the Encapsulation of Implemented Software Architectures Eric Bouwers∗† , Arie van Deursen† , Joost Visser∗‡ , ∗ Software Improvement Group, † Delft University of Technology,‡ Radboud Universi Add to Reading List Source URL: ericbouwers.github.io Language: English - Date: 2015-04-03 02:20:12 Object-oriented programming Metrics Software architecture Software quality Source code Cyclomatic complexity Information hiding Code Metrics Coupling Software engineering Software metrics Computer programming
220	Tutorial: Exact Numerical Computation in Algebra and Geometry Chee K. Yap Courant Institute of Mathematical Sciences New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2009-07-27 23:31:09 Computational complexity theory Computational science Algorithm Mathematical logic Linear programming Analysis of algorithms PP Numerical analysis Theoretical computer science Applied mathematics Mathematics